../mpn/x86_64/sec_tabselect.asm